fundamental trigonometric limit